大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings

0
索取号：
作者：Kauers、 Manuel.、Kerber、 Manfred.、Miner、 Robert.、Windsteiger、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Testing of Software and Communicating Systems [electronic resource] : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

0
索取号：
作者：Petrenko、 Alexandre.、Veanes、 Margus.、Tretmans、 Jan.、Grieskamp、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Requirements Engineering: Foundation for Software Quality [electronic resource] : 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings

0
索取号：
作者：Sawyer、 Pete.、Paech、 Barbara.、Heymans、 Patrick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31鈥ʵne 1, 2007. Proceedings

0
索取号：
作者：Nguyen、 Ngoc Thanh.、Grzech、 Adam.、Howlett、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Service Availability [electronic resource] : 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings

0
索取号：
作者：Malek、 Miroslaw.、Reitenspie脽、 Manfred.、Moorsel、 Aad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

0
索取号：
作者：Artemov、 Sergei N.、Nerode、 Anil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Embedded Software and Systems [electronic resource] : Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings

0
索取号：
作者：Lee、 Yann-Hang.、Kim、 Heung-Nam.、Kim、 Jong.、Park、 Yongwan.、Yang、 Laurence T.、Kim、 Sung Won.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods for Performance Evaluation [electronic resource] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Hillston、 Jane.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Software Process Dynamics and Agility [electronic resource] : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings

0
索取号：
作者：Wang、 Qing.、Pfahl、 Dietmar.、Raffo、 David M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Neural Networks-ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III

0
索取号：
作者：Liu、 Derong.、Fei、 Shumin.、Hou、 Zengguang.、Zhang、 Huaguang.、Sun、 Changyin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Neural Networks-ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II

0
索取号：
作者：Liu、 Derong.、Fei、 Shumin.、Hou、 Zengguang.、Zhang、 Huaguang.、Sun、 Changyin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Neural Networks-ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I

0
索取号：
作者：Liu、 Derong.、Fei、 Shumin.、Hou、 Zeng-Guang.、Zhang、 Huaguang.、Sun、 Changyin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Bioinformatics Research and Applications [electronic resource] : Third International Symposium, ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007. Proceedings

0
索取号：
作者：M膬ndoiu、 Ion.、Zelikovsky、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Rapid Integration of Software Engineering Techniques [electronic resource] : Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers

0
索取号：
作者：Guelfi、 Nicolas.、Buchs、 Didier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model-Driven Architecture in Practice [electronic resource] : A Software Production Environment Based on Conceptual Modeling

0
索取号：
作者：Pastor、 Oscar.、Molina、 Juan Carlos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Software Measurement [electronic resource] : Establish 鈥Ÿtract 鈥Ŷaluate 鈥Ÿecute

0
索取号：
作者：Ebert、 Christof.、Dumke、 Reiner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.